nonredundant inequality

非冗余不等式